Coalgebraic models for combinatorial model categories
نویسندگان
چکیده
منابع مشابه
Coalgebraic Models for Combinatorial Model Categories
We show that the category of algebraically cofibrant objects in a combinatorial and simplicial model category A has a model structure that is left-induced from that on A. In particular it follows that any presentable model category is Quillen equivalent (via a single Quillen equivalence) to one in which all objects are cofibrant. Let A be a cofibrantly generated model category. Garner’s version...
متن کاملCombinatorial Models for Coalgebraic Structures
We introduce a convenient category of combinatorial objects, known as cell-sets, on which we study the properties of the appropriate free abelian group functor. We obtain a versatile generalization of the notion of incidence coalgebra, giving rise to an abundance of coalgebras, Hopf algebras, and comodules, all of whose structure constants are positive integers with respect to certain preferred...
متن کاملCombinatorial Model Categories
In this section, C denotes a fixed category, which is locally U-small by convention. Our goal here is to define locally presentable categories, which are, very roughly, categories determined by colimits of nice diagrams in a prescribed U-small full subcategory. Under this interpretation as being completely determined by a U-small category, it is not surprising that the theory of localizations o...
متن کاملCategories of Coalgebraic Games
We consider a general notion of coalgebraic game, whereby games are viewed as elements of a final coalgebra. This allows for a smooth definition of game operations (e.g. sum, negation, and linear implication) as final morphisms. The notion of coalgebraic game subsumes different notions of games, e.g. possibly non-wellfounded Conway games and games arising in Game Semantics à la [AJM00]. We defi...
متن کاملCombinatorial Model Categories Have Presentations
We show that every combinatorial model category is Quillen equivalent to a localization of a diagram category (where ‘diagram category’ means diagrams of simplicial sets). This says that every combinatorial model category can be built from a category of ‘generators’ and a set of ‘relations’.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Homology, Homotopy and Applications
سال: 2014
ISSN: 1532-0073,1532-0081
DOI: 10.4310/hha.2014.v16.n2.a9